эквивалентность

  • 81Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …

    Википедия

  • 82ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… …

    Математическая энциклопедия

  • 83РИМАНОВЫХ ПОВЕРХНОСТЕЙ КОНФОРМНЫЕ КЛАССЫ — классы, состоящие из конформно эквивалентных римановых поверхностей. Замкнутые рима новы поверхности (р. п.) имеют простой топологич. инвариант род g;при этом любые две поверхности одного рода гомеоморфны. В простейших случаях топологич.… …

    Математическая энциклопедия

  • 84Дженерик — Эта статья  о фармацевтике. О возможностях языков программирования см. обобщённое программирование. Дженерик (генерик, женерик, генерический препарат; англ. Generic)  это непатентованный лекарственный препарат,… …

    Википедия

  • 85Утверждения — Утверждения, эквивалентные аксиоме выбора В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна… …

    Википедия

  • 86теория уровней эквивалентности — выделение в содержании текста ряда последовательных уровней, отличающихся по характеру информации; отношения эквивалентности устанавливаются между аналогичными уровнями содержания текстов ИЯ и ПЯ. Попытку объединить теорию закономерных… …

    Толковый переводоведческий словарь

  • 87Утверждения, эквивалентные аксиоме выбора — В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна Эквивалентность этих предложений следует понимать в… …

    Википедия

  • 88Синонимия — (от греч. συνωνυμία  одноимённость)  тип семантических отношений языковых единиц, заключающийся в полном или частичном совпадении их значений. Синонимия свойственна лексической, фразеологической, грамматической, словообразовательной системам… …

    Лингвистический энциклопедический словарь

  • 89ГОМОТОПИЧЕСКИЙ ТИП — класс гомотопически эквивалентных топологич. пространств. Отображения и наз. взаимно обратными гомотопическими эквивалентностями, если и Если выполнено только первое из этих соотношений, то gназ. гомотопически мономорфным отображением, а f… …

    Математическая энциклопедия

  • 90ОСОБЕННОСТИ ДИФФЕРЕНЦИРУЕМЫХ ОТОБРАЖЕНИЙ — раздел математич. анализа и дифференциальной геометрии, в к ром изучаются свойства отображений, сохраняющихся при заменах координат в образе и прообразе отображения (или при заменах, сохраняющих нек рые дополнительные структуры); предлагается… …

    Математическая энциклопедия

  • 91СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… …

    Математическая энциклопедия

  • 92Отношение эквивалентности — У этого термина существуют и другие значения, см. Эквивалентность. Отношение эквивалентности ( ) на множестве   это бинарное отношение, для которого выполнены следующие условия: Рефлексивность: для любого в , Симметричность: если …

    Википедия

  • 93ГОСТ Р ИСО/МЭК 17000-2009: Оценка соответствия. Словарь и общие принципы — Терминология ГОСТ Р ИСО/МЭК 17000 2009: Оценка соответствия. Словарь и общие принципы оригинал документа: 5.6 аккредитация (accreditation): Подтверждение соответствия (5.2) третьей стороной, относящееся к органу по оценке соответствия (2.5) и… …

    Словарь-справочник терминов нормативно-технической документации

  • 94Смирнов, Владимир Александрович — (02.03.1931 12.02.1996) спец. по символической логике, когнитологии, методол. науки; д р филос. наук, проф. Род. в Москве. Окончил филос. ф т МГУ (1954), асп. того же ф та по кафедре логики (1957). В 1957 1961 работал ст. преп. кафедры филос.… …

    Большая биографическая энциклопедия

  • 95Алгебра логики —         раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …

    Большая советская энциклопедия

  • 96Симметрия (в физике) — Симметрия в физике. Если законы, устанавливающие соотношения между величинами, характеризующими физическую систему, или определяющие изменение этих величин со временем, не меняются при определённых операциях (преобразованиях), которым может быть… …

    Большая советская энциклопедия